Equivalence relation - PDFSEARCH.IO - Document Search Engine

Equivalence relation
Results: 323

#	Item
111	55 Internat. J. Math. & Math. Sci. VOL. 14 NO[removed] Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2010-03-26 17:33:05 Operator theory Functional analysis Convex function Equivalence relation Hilbert space Convex set Reflexive space Banach–Alaoglu theorem Mathematical analysis Mathematics Convex analysis
112	A Type Theory with Partial Equivalence Relations as Types Abhishek Anand, Mark Bickford, Robert L. Constable and Vincent Rahli Cornell University Abstract A small core type language with intersection types in which a par Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2014-04-23 10:39:41 Theoretical computer science Programming language theory Formal methods Models of computation Type system Partial equivalence relation Equivalence relation Lambda calculus Dependent type Type theory Data types Mathematics
113	Theory and Applications of Categories, Vol. 27, No. 17, 2013, pp. 445–463. ELEMENTARY QUOTIENT COMPLETION MARIA EMILIA MAIETTI AND GIUSEPPE ROSOLINI Abstract. We extend the notion of exact completion on a category wit Add to Reading List Source URL: www.emis.de Language: English - Date: 2013-09-08 12:54:00 Functor Equivalence of categories Coequalizer Equivalence relation Category Natural transformation Initial and terminal objects Representation theory of finite groups Quotient category Category theory Mathematical analysis Adjoint functors
114	Solving the Caesar Problem without categorical sortals Nikolaj Jang Pedersen February 14, 2009 Abstract The neo-Fregean account of arithmetical knowledge is centered around the abstraction principle known as Hume’s Pri Add to Reading List Source URL: www.nikolajpedersen.com Language: English - Date: 2010-02-17 05:11:06 Category theory Functions and mappings Adjoint functors Sortal Equivalence relation Equivalence of categories Universal Surjective function Group action Mathematics Abstract algebra Mathematical analysis
115	Reading an Algebra Textbook Clemens Ballarin Stephanienstr[removed]Karlsruhe, Germany http://www21.in.tum.de/~ballarin/ Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-06 08:56:05 Group theory Algebraic structures Semigroup theory Symmetry Monoid Equivalence relation Congruence relation Quotient group Coset Abstract algebra Algebra Mathematics
116	Philosophy – Science – Scientific Philosophy Proceedings of GAP.5, Bielefeld 22.–[removed]Considerations on Neo-Fregean Ontology Nikolaj Jang Pedersen Add to Reading List Source URL: nikolaj.bol.ucla.edu Language: English - Date: 2009-11-02 16:54:56 Philosophy Category theory Sortal Adjoint functors Equivalence relation Universal Equivalence of categories Group action Binary relation Abstract algebra Mathematics Philosophers of mathematics
117	arXiv:1010.1507v2 [math.AT] 14 Sep[removed]THE GEOMETRY AND FUNDAMENTAL GROUP OF PERMUTATION PRODUCTS AND FAT DIAGONALS SADOK KALLEL AND WALID TAAMALLAH Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-09-17 00:41:41 Group actions Symmetry Homotopy theory Differential topology Orbifold Fundamental group Equivalence relation Quasigroup Index of a subgroup Abstract algebra Algebra Group theory
118	COMPUTER SCIENCE TRIPOS Part IA – 2014 – Paper 2 8 Discrete Mathematics (MPF) (a) Let #X denote the cardinality of a set X. Define a unary predicate P for which the statement Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-09 10:18:43 Mathematical analysis Bijection injection and surjection Equivalence relation Function Bijection Power set Injective function Filter Axiom schema of replacement Mathematics Functions and mappings Mathematical logic
119	Unsupervised Context Sensitive Language Acquisition from Large, Untagged Corpora Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 06:40:14 Language acquisition Data mining Graph theory Brian MacWhinney Psycholinguists CHILDES Automatic distillation of structure Equivalence relation Graph Linguistics Science Cognitive science
120	Microsoft Word - ferwerda10_hvei.doc Add to Reading List Source URL: www.cis.rit.edu Language: English - Date: 2010-06-24 09:43:24 Equivalence of categories Tone mapping Rendering Image quality Computer vision Mathematics Vision Computing Computer graphics 3D computer graphics Equivalence relation

UPDATE